In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
341	Delimited Control in OCaml, Abstractly and Concretely System Description Oleg Kiselyov FNMOC Add to Reading List Source URL: okmij.org Language: English - Date: 2010-01-24 22:12:18 Control flow Functional languages OCaml Caml ML Delimited continuation Exception handling Thunk Dc Software engineering Computing Computer programming
342	LLVM: built-in scalable code clone detection based on semantic analysis Institute for System Programming of the Russian Academy of Sciences Sevak Sargsyan : Add to Reading List Source URL: llvm.org Language: English - Date: 2015-02-02 03:20:09 C++ Subroutines ALGOL 68 C++ classes Main function C Sharp D Computing Software engineering Computer programming
343	Directions in Functional Programming for Real(-Time) Applications? Walid Taha?? , Paul Hudak, Zhanyong Wan Department of Computer Science, Yale University, New Haven, CT, USA. {taha,hudak,zwan}@cs.yale.edu Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2002-02-25 08:31:05 Computability theory Theoretical computer science Models of computation Type theory Logic in computer science Monad Lambda calculus Functional programming Type system Software engineering Computing Computer programming
344	OpenJIT Frontend System: an implementation of the reflective JIT compiler frontend Hirotaka Ogawa1, Kouya Shimura2 , Satoshi Matsuoka1 , Fuyuhiko Maruyama1, Yukihiko Sohda1 , and Yasunori Kimura2 1 2 Add to Reading List Source URL: www.openjit.org Language: English Compiler construction Cross-platform software Java platform Programming language implementation Java programming language Just-in-time compilation Java virtual machine Static single assignment form Interpreter Computing Software System software
345	Speech, Gesture, and Space: Investigating Explicit and Implicit Communication in Multi-Human Multi-Robot Collaborations Aaron St. Clair, Amin Atrash, Ross Mead, and Maja J Matarić Interaction Lab Computer Science Depart Add to Reading List Source URL: robotics.usc.edu Language: English - Date: 2013-06-01 19:27:47 Human–robot interaction Robot Multi-agent system Cognitive robotics Technology Science Adaptive collaborative control Programming by demonstration Robotics Artificial intelligence Humanoid robot
346	About CloudLinux CloudLinux is a Linux operating system optimized for service providers. It is commercially supported and improves density, stability, and security in multitenant environments such as shared hosting. I Add to Reading List Source URL: cloudlinux.com Language: English - Date: 2015-02-25 07:03:19 Web hosting MySQL PHP programming language PHP Shared web hosting service Server File system Rackspace Cloud Web hosting service Software Computing Cross-platform software
347	Supporting SCA Applications in a Lightweight CCM Environment Frank Pilhofer Add to Reading List Source URL: www.fpx.de Language: English - Date: 2004-09-26 18:00:00 CORBA Software-defined radio Common Object Request Broker Architecture SCA Computer programming Enterprise application integration Software Communications Architecture Service Component Architecture Software engineering Computing Joint Tactical Radio System
348	VACANCY ANNOUNCEMENT EXECUTIVE DIRECTOR – CODATA CODATA (www.codata.org), founded in 1966, is a non-governmental organization that strengthens international science for the benefit of society by promoting improved scie Add to Reading List Source URL: www.bic.cas.cn Language: English - Date: 2013-01-30 00:32:05 Functional programming Measurement Coinduction International System of Units Science Structure International standards Committee on Data for Science and Technology International Council for Science
349	InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems Timothy Roscoe Intel Research – Berkeley Richard Mortier Microsoft Research – Cambridge Add to Reading List Source URL: www.planet-lab.org Language: English - Date: 2009-06-12 12:01:20 Reasoning Prolog Domain name system Nmap Knowledge representation and reasoning Peer-to-peer Microsoft SQL Server Logic programming Port scanner Computing Software Programming paradigms
350	Combining semantic interpretation and statistical classification for improved explanation processing in a tutorial dialogue system Myroslava O. Dzikovska, Elaine Farrow, and Johanna D. Moore? School of Informatics, Unive Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-03 12:16:35 Natural language processing Semantic similarity SemEval Statistical classification Classifier Logic programming AutoTutor Computational linguistics Linguistics Science

UPDATE